perm filename TAKR.IL[TIM,LSP]1 blob sn#679562 filedate 1982-09-23 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	 Masinter's version
C00004 ENDMK
CāŠ—;
;;; Masinter's version
(DEFINEQ

(DEFTAKS
  [LAMBDA NIL                                   (* lmm "29-APR-82 22:07")
    (for I from 0 to 99 join (DTK I (ADD1 I)
				  (ITIMES (ADD1 I 37))
				  (ITIMES (ADD1 I 11))
				  (ITIMES (ADD1 I 17])

(DTK
  [LAMBDA (N A B C D)                           (* lmm "29-APR-82 22:05")
    (DEFTAK (PK N)
	    (PK A)
	    (PK B)
	    (PK C)
	    (PK D])

(PK
  [LAMBDA (N)                                   (* lmm "29-APR-82 22:06")
    (PACK* (QUOTE TAK)
	   (IREMAINDER N 100])

(DEFTAK
  [LAMBDA (TAK1 TAK2 TAK3 TAK4 TAK5)            (* lmm "29-APR-82 22:02")
    (DEFINE (BQUOTE ((, TAK1 (LAMBDA (X Y Z)
			  (COND
			    ((NOT (ILESSP Y X))
			      Z)
			    (T (, TAK2 (, TAK3 (SUB1 X)
					  Y Z)
				  (, TAK4 (SUB1 Y)
				     Z X)
				  (, TAK5 (SUB1 Z)
				     X Y])
)

(TAK0 18 12 6)